Paul Sabatier, 1854–1941

Délivré par l'Université Toulouse III- Paul Sabatier

DOCTORAT DE L’UNIVERSITÉ DE TOULOUSE Délivré par Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier) Discipline ou spécialité: Neurosciences

Perceiving the world under the strobe of attention Psychophysical and electroencephalographical investigations Our sensory experience of the world is smooth and continuous. Yet, it could rely on discrete sampling of incoming sensory information – this sampling being instantiated by attentional mechanisms. Under continuous lighting an observer attending to a rotating spoked wheel ma...

DOCTORAT DE L’UNIVERSITÉ DE TOULOUSE délivré par l’Université Toulouse III – Paul Sabatier en MATHÉMATIQUES PURES

A categorification of a polynomial link invariant is an homological invariant which contains the polynomial one as its graded Euler characteristic. This field has been initiated by Khovanov categorification of the Jones polynomial. Later, P. Ozsváth and Z. Szabó gave a categorification of Alexander polynomial. Besides their increased abilities for distinguishing knots, this new invariants seem ...

Friday 23 June 2017 14 h 30 – 16 h 00 UT 3 Paul Sabatier , IRIT , Salle des

Counter-Example-Guided Abstraction Refinement (CEGAR) has been very successful in model checking. Since then, it has been applied to many different problems. It is especially proved to be a highly successful practical approach for solving the PSPACE complete QBF problem. In this paper, we propose a new CEGAR-like approach for tackling PSPACE complete problems that we call RECAR (Recursive Explo...

پل کلودل Paul Claudel